単語帖 continuation，マイクロカーネル，コンテクストスイッチング，ビザンチン合意問題